General conclusions and references

References 7 Conclusions

A new FPGA architecture (reconfigurable datapath architecture, rDPA) for word-oriented datapaths is presented, which has been developed to support a variety of Xputer architectures. In contrast to von Neumann machines an Xputer architecture strongly supports the concept of the “soft ALU” (reconfigurable ALU). Fine grained parallelism is achieved by using simple reconfigurable processing element...

References 5 Conclusions and Future Work

Formal validation of an interlocking system for large railway stations: A case study. 12 utes (as reported in gure 7), while the non-progress cycles check required less than 6 minutes. Some remarks about the experimental results. Of all the reduction mechanisms provided by spin, d_step was the most eeective to reduce the storage of irrelevant states. Without it, it would not have been possible ...

4. Conclusions 5. Acknowledgment 6. References

In many computer applications areas such as graphics, automated cartography, image processing, and robotics the notion of visibility among objects modeled as polygons is a recurring theme. This paper is concerned with the visibility of a simple polygon from one of its edges. Three natural definitions of the visibility of a polygon from an edge are presented. The following computational problem ...

Summary and General Conclusions

ConClusIons and General dIsCussIon